The Strength of Nonstandard Analysis
نویسنده
چکیده
A weak theory nonstandard analysis, with types at all finite levels over both the integers and hyperintegers, is developed as a possible framework for reverse mathematics. In this weak theory, we investigate the strength of standard part principles and saturation principles which are often used in practice along with first order reasoning about the hyperintegers to obtain second order conclusions about the integers.
منابع مشابه
A New Approach to Nonstandard Analysis
In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing a few applications of this approach with the former methods.
متن کاملNonstandard finite difference schemes for differential equations
In this paper, the reorganization of the denominator of the discrete derivative and nonlocal approximation of nonlinear terms are used in the design of nonstandard finite difference schemes (NSFDs). Numerical examples confirming then efficiency of schemes, for some differential equations are provided. In order to illustrate the accuracy of the new NSFDs, the numerical results are compared with ...
متن کاملThe Numerical Solution of Klein-Gorden Equation by Using Nonstandard Finite Difference
In this paper we propose a numerical scheme to solve the one dimensional nonlinear Klein-Gorden equation. We describe the mathematical formulation procedure in details. The scheme is three level explicit and based on nonstandard finite difference. It has nonlinear denominator function of the step sizes. Stability analysis of the method has been given and we prove that the proposed meth...
متن کاملA numerical method for discrete fractional--order chemostat model derived from nonstandard numerical scheme
In this paper, the fractional--order form of three dimensional chemostat model with variable yields is introduced. The stability analysis of this fractional system is discussed in detail. In order to study the dynamic behaviours of the mentioned fractional system, the well known nonstandard (NSFD) scheme is implemented. The proposed NSFD scheme is compared with the forward Euler and ...
متن کاملNonstandard explicit third-order Runge-Kutta method with positivity property
When one solves differential equations, modeling physical phenomena, it is of great importance to take physical constraints into account. More precisely, numerical schemes have to be designed such that discrete solutions satisfy the same constraints as exact solutions. Based on general theory for positivity, with an explicit third-order Runge-Kutta method (we will refer to it as RK3 method) pos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007